Symbolic integration

#	Item
11	Approximate symbolic model checking of continuous-time Markov chains? (extended abstract) Add to Reading List Source URL: wwwneu.inf.tu-dresden.de Language: English - Date: 2010-02-01 08:27:12 Diagrams Functions and mappings Binary decision diagram Boolean algebra Model checking Integral Numerical integration Probability density function Mathematical analysis Mathematics Physics
12	SYMBOLIC INTEGRATION TUTORIAL Add to Reading List Source URL: www-sop.inria.fr Language: English - Date: 2005-01-25 08:32:15 Polynomials Elementary algebra Partial fraction Euclidean algorithm Square-free polynomial Rational function Greatest common divisor Transcendental number Integral Mathematics Mathematical analysis Algebra
13	PDF Document Add to Reading List Source URL: esd.mit.edu Language: English - Date: 2008-06-11 23:20:09 Computer algebra systems Discontinued software Macsyma Computer workstations Functional languages Lisp machine Maxima Symbolic integration MATHLAB Software Computing Lisp programming language